One-one measurable transformations

The Approximation of One-one Measurable Transformations by Measure Preserving Homeomorphisms

This paper contains two results related to the material in [2]. Suppose/is a one-one transformation of the open unit interval /" (where n^2) onto /". 1. If/ is absolutely measureable and £>0, then there is an absolutely measurable homeomorphism ç»t of /" onto /" such that m({x:f(x)^(pc(x) or f~'(x)^ 9'J1W})<£. where m denotes /»-dimensional Lebesgue measure. 2. Suppose p is either (1) a nonatom...

Measurable Transformations

On One-Sided Ideals of Rings of Linear Transformations

Spaces of Measurable Transformations

By a space we shall mean a measurable space, i.e. an abstract set together with a <r-ring of subsets, called measurable sets, whose union is the whole space. The structure of a space will be the <r-ring of its measurable subsets. A measurable transformation from one space to another is a mapping such that the inverse image of every measurable set is measurable. Let X and F be spaces, F a set of...

On one-pass CPS transformations

We bridge two distinct approaches to one-pass CPS transformations, i.e., CPS transformations that reduce administrative redexes at transformation time instead of in a post-processing phase. One approach is compositional and higherorder, and is independently due to Appel, Danvy and Filinski, and Wand, building on Plotkin’s seminal work. The other is non-compositional and based on a reduction sem...